home *** CD-ROM | disk | FTP | other *** search
/ The World of Computer Software / The World of Computer Software.iso / cl5bi386.zip / README.1ST < prev   
Text File  |  1992-09-01  |  5KB  |  144 lines
  1.   This archive contains the binaries for Caml Light 0.5, 80386 PC version.
  2.  
  3. COPYRIGHT
  4.  
  5.   The files in the DEV directory are copyright DJ Delorie, and covered
  6.   by the copyright notice in file INFO\COPYING.DJ. The other files are
  7.   copyright INRIA, and covered by the copyright notice in file COPYRGHT.TXT.
  8.  
  9. OVERVIEW
  10.  
  11.   Caml Light is a small, portable implementation of the ML language,
  12.   that runs on Unix machines, on the PC (both in 8086 real mode and in
  13.   80386 protected mode), and on the Macintosh.
  14.  
  15.   Caml Light implements the Caml language, a functional language from
  16.   the ML family. Caml is quite close to Standard ML, though not strictly
  17.   conformant. There are some slight differences in syntax and semantics,
  18.   and major differences in the module system (these changes were
  19.   required to support separate compilation).
  20.  
  21.   Caml Light is implemented as a bytecode compiler, and fully
  22.   bootstrapped. The whole system is quite small: about 100K for the runtime
  23.   system, and another 100K of bytecode for the compiler. 1.2 megabyte of
  24.   memory is enough to recompile the whole system. This stands in sharp
  25.   contrast with other implementations of ML, such as SML-NJ, that
  26.   requires about ten times more memory. Performance is quite good for a
  27.   bytecoded implementation: five to ten times slower than SML-NJ.
  28.  
  29.   Caml Light comes in two flavors: a classical, interactive, toplevel-based
  30.   system; and a standalone, batch-oriented compiler that produces standalone
  31.   programs, in the spirit of the batch C compilers. The former is good for
  32.   learning the language and testing programs. The latter integrates more
  33.   smoothly within programming environments. The generated programs are
  34.   quite small, and can be used as standalone programs.
  35.  
  36.  
  37. REQUIREMENTS
  38.  
  39.   The 80386 PC version requires a PC equipped with a 80386 or 80486 processor,
  40.   running MS-DOS version 3.3 or later. 2M of RAM. About 1.2M of free space
  41.   on the disk. The graphics primitives require a VGA or SuperVGA video card.
  42.  
  43.  
  44. INSTALLATION
  45.  
  46.   See the file INSTALL.TXT for installation instructions.
  47.  
  48. DOCUMENTATION
  49.  
  50.   The Caml Light system is described in the manual:
  51.  
  52.   "The Caml Light system, version 0.5" by Xavier Leroy and Michel Mauny.
  53.  
  54.   This manual is distributed in Postscript and in DVI formats.
  55.   It can be obtained by anonymous FTP from nuri.inria.fr as described below.
  56.  
  57.   You can also order hardcopy for the manual from:
  58.  
  59.           INRIA SEDIS diffusion
  60.           B. P. 105
  61.           78153 Le Chesnay Cedex
  62.           France
  63.           Tel. +33-1-39635627
  64.  
  65.   Contact them for pricing information.
  66.  
  67.  
  68. AVAILABILITY
  69.  
  70.   The whole Caml Light distribution resides on nuri.inria.fr, and can
  71.   be accessed by anonymous FTP:
  72.  
  73.         host:       nuri.inria.fr (128.93.1.26)
  74.         directory:  lang/caml-light
  75.         files:
  76.  
  77.   cl5unix.tar.Z         Complete source code for Unix machines, plus a
  78.                         bootstrap compiler.
  79.   cl5docps.Z            Compressed Postscript for the Caml Light documentation
  80.                         (250 pages).
  81.   cl5docdvi.tar.Z       Compressed DVI (with Postscript inserts) for the
  82.                         Caml Light documentation (250 pages).
  83.   cl5macbin.sea.hqx     Binaries for the Macintosh version.
  84.   cl5pc386bin.zip       Binaries for the 80386 PC version.
  85.                         They run only on 80386 or 80486 processors,
  86.                         in protected 32-bit mode.
  87.   cl5pc86bin.zip        Binaries for the 8086 PC version.
  88.                         They run on any PC, in native 16-bit mode.
  89.   cl5macsrc.sea.hqx     Source code for the Macintosh version.
  90.   cl5pc386src.zip       Source code for the 80386 PC version.
  91.   cl5pc86src.zip        Source code for the 8086 PC version.
  92.  
  93.  
  94. KEEPING IN TOUCH WITH THE CAML COMMUNITY:
  95.  
  96.   There exists a mailing list of users of the Caml and Caml Light
  97.   systems developed at INRIA. The purpose of this list is to share
  98.   experience, exchange ideas (and even code), and report on applications
  99.   of the Caml language. This list will be moderated; messages can be
  100.   written in English or in French. 
  101.  
  102.   Messages to the list should be sent to:
  103.  
  104.                 caml-list@margaux.inria.fr
  105.  
  106.   If you wish to subscribe to this list, please send a message
  107.   (including your email address) to:
  108.  
  109.                 caml-list-request@margaux.inria.fr
  110.  
  111.  
  112. BUG REPORTS AND USER FEEDBACK:
  113.  
  114.   Send your bug reports by E-mail to
  115.  
  116.           caml-light@margaux.inria.fr
  117.  
  118.   or by paper mail to
  119.  
  120.           Caml Light, projet Formel
  121.           INRIA Rocquencourt
  122.           B.P. 105
  123.           78153 Le Chesnay
  124.           France
  125.  
  126.   To be effective, bug reports should include a complete program (as
  127.   small as possible) that exhibits the unexpected behavior, and the
  128.   configuration you are using (machine type, etc).
  129.  
  130.   We welcome your bug reports and comments, but no guarantees are offered
  131.   as to when they will be dealt with.
  132.   We cannot guarantee any answer to your questions.
  133.   Also, we react extremely negatively to any attempt at contacting us
  134.   directly by phone.
  135.  
  136.  
  137. ACKNOWLEDGMENTS
  138.  
  139.   The 80836 PC version has been made possible by the availability of DJGPP,
  140.   DJ Delaurie's excellent port of the GNU CC compiler to MS-DOS. More
  141.   information about DJGPP can be found in the file INFO\README.DJ.
  142.   The graphics primitives are built on top of Csaba Biegl's graphics
  143.   library LIBGRX, distributed with DJGPP.
  144.